Bender–Knuth involution